Gaining assurance in a voter-verifiable voting system

The literature on e-voting systems has many examples of discussion of the correctness of the computer and communication algorithms of such systems, as well as discussions of their vulnerabilities. However, a gap in the literature concerns the practical need (before adoption of a specific e-voting system) for a complete case demonstrating that the system as a whole has sufficiently high probability of exhibiting the desired properties when in use in an actual election. This paper discusses the problem of producing such a case, with reference to a specific system: a version of the Prêt à Voter scheme for voter-verifiable e-voting. We show a possible organisation of a case in terms of four main requirements – accuracy, privacy, termination and ‘trustedness’– and show some of the detailed organisation that such a case should have, the diverse kinds of evidence that needs to be gathered and some of the interesting difficulties that arise

Levantamento da comunidade de macroinvertebrados bentônicos em lavouras de arroz irrigado.

bitstream/item/67320/1/Boletim-148-corrigido.pd

A renormalization fixed point for Lorenz maps

A Lorenz map is a Poincar\'e map for a three-dimensional Lorenz flow. We describe the theory of renormalization for Lorenz maps with a critical point and prove that a restriction of the renormalization operator acting on such maps has a hyperbolic fixed point. The proof is computer assisted and we include a detailed exposition on how to make rigorous estimates using a computer as well as the implementation of the estimates.Comment: 29 pages, 2 figure

Coastal settlements rehabilitation affected by the 2010 tsunami in Pelluhue county, Chile

Indexación: Scopus.La Comuna de Pelluhue fue una de las más afectadas durante el terremoto y tsunami del 27 de febrero de 2010 en Chile central, registrando 47 fallecidos, el mayor número de muertes per-cápita del país. Este estudio se orienta a analizar la resiliencia de los centros urbanos de la comuna, desde sus principales instancias: preparación, resistencia, recuperación y adaptación. Los daños generados por el tsunami se estudian mediante un levantamiento in-situ, complementado con levantamientos efectuados en 2013 y 2015, consulta de percepción de seguridad y un análisis del impacto de los instrumentos de planificación territorial en la rehabilitación de los centros urbanos. De estos estudios se concluye que la comuna experimentó una rápida recuperación de infraestructura entre 2010 y 2012. Las modificaciones incorporadas en la ordenanza del Plan Regulador Comunal a finales de 2012 promovieron el uso de una nueva tipología estructural adaptada al riesgo de tsunami en la Zona Turística de Borde Costero (ZTBC-1). El uso de marcos estructurales de madera y hormigón en el primer piso, se adoptó en respuesta al bajo coeficiente de ocupación de suelo sugerido en la ordenanza del Plan Regulador Comunal para dicha zona, sin necesariamente cumplir con criterios de diseño estructural. En otras zonas ubicadas en el área inundada, no obstante, se reconstruyó sin adoptar criterios de adaptación. Aun cuando se implementó una consulta, que no tiene la representación adecuada de toda la población, el sondeo indica que el plan de emergencia implementado por ONEMI, por su parte, generó una mejor percepción de seguridad en las zonas de riesgo por parte de los residentes, pero los visitantes desconocen las medidas de evacuación vigentes.The Pelluhue country was one of the most affected during the earthquake and tsunami of February 27, 2010 in central Chile, with 47 deaths, the highest number of per-capita deaths in the country. This study is oriented to analyze the resilience of the urban centers of the commune, from its principal instances: preparation, resistance, recovery and adaptation. The damage generated by the tsunami is studied through an on-site survey, supplemented by surveys conducted in 2013 and 2015, a safety perception consultation and an analysis of the impact of territorial planning instruments in the rehabilitation of urban centers. From these studies it is concluded that the commune experienced a rapid infrastructure recovery between 2010 and 2012. The modifications incorporated in the ordinance of the Community Regulatory Plan at the end of 2012 promoted the use of a new structural typology adapted to the tsunami risk in the Coastal Tourist Zone (ZTBC-1). The use of wood and concrete structural frames on the first floor was adopted in response to the low coefficient of soil occupation suggested in the ordinance of the Community Regulatory Plan for that area, without necessarily complying with structural design criteria. However, in some other areas, within the flooded area, it was rebuilt without adopting adaptation criteria. Even when a consultation was implemented, which does not have adequate representation of the entire population, the survey indicates that the emergency plan implemented by ONEMI, in turn, generated a better perception of safety in the risk areas by residents, but visitors are unaware of the current evacuation measures. © 2017, Escuela de Ciencias del Mar. All rights reserved.http://www.lajar.cl/pdf/imar/v45n4/Art%C3%ADculo_45_4_03.pd

On the Hyperbolicity of Lorenz Renormalization

We consider infinitely renormalizable Lorenz maps with real critical exponent $\alpha>1$ and combinatorial type which is monotone and satisfies a long return condition. For these combinatorial types we prove the existence of periodic points of the renormalization operator, and that each map in the limit set of renormalization has an associated unstable manifold. An unstable manifold defines a family of Lorenz maps and we prove that each infinitely renormalizable combinatorial type (satisfying the above conditions) has a unique representative within such a family. We also prove that each infinitely renormalizable map has no wandering intervals and that the closure of the forward orbits of its critical values is a Cantor attractor of measure zero.Comment: 63 pages; 10 figure

Subcutaneous Fat Necrosis Following Induced Hypothermia

A necrose gorda do tecido celular subcutâneo do recém-nascido está associada a asfixia neonatal, aspiração de mecónio, convulsões ou hipotermia. A hipercalcemia é a complicação mais frequente, podendo em alguns casos ser grave e exigir terapêutica específica. Relata-se o caso de um recém-nascido de cesariana emergente por sofrimento fetal, tendo sido submetido a protocolo de hipotermia induzida. Foi diagnosticado com necrose gorda do recém-nascido ao 11º dia de internamento. No 23º dia identificou-se hipercalcemia, tendo iniciado terapêutica com pamidronato, com consequente diminuição gradual da calcemia. Sublinha-se a necessidade da identificação rápida de necrose gorda, possibilitando antecipar a hipercalcemia e iniciar terapêutica precoce